退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用高级petri网对复合Web服务的视图进行规范和验证
Khouloud Boukadi; Chirine Ghedira; Zakaria Maamar; Hanifa Boucheneb;
机译:F A ce:small-caps> CETA *:基于Petri-Nets的事务性复合Web服务执行的检查点
机译:使用Web服务的数字参考服务:概述,设计和规格
机译:软件代理和Web服务环境的三级规范方法
机译:使用高级Petri-网对复合Web服务的视图的规范和验证
机译:异步通信Web服务的正式规范和验证
机译:使用增强的堆栈自动机模型的Web服务组合的验证策略
机译:规范和验证组合Web服务的注释
机译:复合Web服务规范和验证的表示法
机译:组合Web服务的服务水平和价格策略建立系统
机译:复合Web服务的服务级别协议的管理
机译:用于Web混搭和其他组合应用程序的用户透明证书验证的方法和服务
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。